首页> 外文OA文献 >On the undecidability of universality for timed automata with minimal resources

【2h】

On the undecidability of universality for timed automata with minimal resources

机译：论资源最少的时间自动机的普遍性不可判定性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Sara E. Adams;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Classes of Timed Automata and the Undecidability of Universality [J] . Arnaldo V. Moura, Guilherme A. Pinto Fundamenta Informaticae . 2008,第1a2期

机译：定时自动机的类别与普遍性的不确定性
2. Undecidability Results for Timed Automata with Silent Transitions [J] . Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier Fundamenta Informaticae . 2009,第1a2期

机译：具有静默过渡的定时自动机的不确定性结果
3. Improved undecidability results on weighted timed automata [J] . Patricia Bouyer, Thomas Brihaye, Nicolas Markey Information Processing Letters . 2006,第5期

机译：改进了加权定时自动机的不确定性结果
4. Undecidability of Universality for Timed Automata with Minimal Resources [C] . Sara Adams, Joeel Ouaknine, James Worrell International Conferences on Formal Modeling and Analysis of Timed Systems(FORMATS 2007); 20071003-05; Salzburg(AT) . 2007

机译：具有最小资源的定时自动机的普遍性的不确定性
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. ZeBRα a universal multi-fragment DNA-assembly-system with minimal hands-on time requirement [O] . David Richter, Katharina Bayer, Thomas Toesko, -1

机译：ZeBRα通用的多片段DNA组装系统动手时间最少
7. Classes of Timed Automata and the Undecidability of Universality [O] . Moura Arnaldo V., Pinto Guilherme A. 2002

机译：定时自动机的类别与普遍性的不确定性

On the undecidability of universality for timed automata with minimal resources

著录项

引文网络

相似文献

相关主题

期刊订阅